jsxgraph 1.13.2
vendored by tools/vendor-jsxgraph.js — do not hand-edit this directory
